$\forall$$A$, $B$:Type. strong{-}subtype($A$;$B$) $\Rightarrow$ ($\forall$$L$:($A$ List), $x$:$B$. ($x$ $\in$ $L$) $\Rightarrow$ ($x$ $\in$ $A$))